static File replaceExtension(File f, S ext) {
  S s = f2s(f);
  s = dropExtension(s);
  ret new File(s + addPrefixIfNempty(".", ext));
}