Use tgz instead of zip for downloads from GitHub