static void gzipFile(File in, File out) {
  saveStreamToGZFile(newFileInputStream(in), out);
}