Also freakin’ github doesn’t let you upload .tgz files, only zipfiles