static File incrementFileName(File f) {
  while (f.exists())
    f = new File(f2s(f) + "x"); // TODO
  ret f;
}