use https instead of git://