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