svoid assertFileExtension(File f, S ext) {
  if (!hasExtension(f, ext))
    fail("File " + f2s(f) + " doesn't have extension " + ext);
}