Fix to use HTTPS for Github dep