static GZIPInputStream newGZIPInputStream(File f) {
  ret gzInputStream(f);
}