Change to https instead of git due to firewall issues