static File changeExtension(File f, S extNew) {
  ret replaceExtension(f, fileExtension(f), extNew);
}