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

static GZIPInputStream newGZIPInputStream(FileInputStream in) {
  ret gzInputStream(in);
}