svoid scanDirToFile_gz(File dir, File destFile) {
  saveGZTextFile(destFile, structLines(map fileStatus(allFilesInDir_recursive(dir))));
}