sS fileNameWithoutExtension(File f) {
  ret dropExtension(fileName(f));
}