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