Use the HTTPS version in GitHub so travis can actually get it