static GZIPInputStream gzInputStream(File f) {
  ret new GZIPInputStream(new FileInputStream(f));
}