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