static File tempFileFor(File f) {
  ret new File(f.getPath() + "_temp");
}