static GZIPOutputStream gzipOutputStream(File f) {
  ret newGZIPOutputStream(f);
}