static void gunzipFile(File in, File out) ctex {
  saveStreamToFile(newGZIPInputStream(in), out);
}