Note: The Linux-?XX.tar.z files are tar file which have been compressed with
the gzip program.