static GZIPInputStream newGZIPInputStream(File f) ctex {
  ret new GZIPInputStream(newFileInputStream(f));
}