svoid gzip2xz(File gzInFile, xzOutFile) {
  printFileInfo("Converting to .xz", gzInFile);
  copyStreamAndCloseAll(
    gzipInputStream(gzInFile),
    xzOutputStream(xzOutFile));
  printFileInfo(xzOutFile);
}