static GZIPOutputStream newGZIPOutputStream(File f) ctex {
  ret new GZIPOutputStream(newFileOutputStream(f));
}