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