static File getFilePossiblyGZipped(File f) {
  File gz = new File(f2s(f) + ".gz");
  ret gz.exists() ? gz : f;
}