static File fileWithDifferentName(File f, S newName) {
  ret fileInSameDir(f, newName);
}