use git+https: rather than git: in order to be tolerant to corporate firewalls