switch from git: to https: to avoid firewall issues