static AutoCloseable tempDeleteFile(File f) {
  ret f == null ? null : autoCloseable { f.delete(); };
}