static File filesWithSameBaseName(File f) {
  ret fileNamesStartingWith(listFiles(dirOfFile(f)), fileBaseName(f) + ".");
}