svoid renameFileToUniqueName(File f) {
  if (!fileExists(f)) ret;
  renameFileVerbose(f, makeFileNameUnique(f));
}