static void moveFileToDir(File f, File dir) {
  if (!renameFile(f, newFile(dir, f.getName())))
    fail("Can't move file " + f + " to dir " + dir);
}