Does the GitHub tarball no longer exist?