static File makeFileNameUnique(File f) {
  File orig = f;
  int n = 0;
  while (f.exists())
    f = new File(dirOfFile(orig), orig.getName() + "." + ++n);
  ret f;
}