use https instead of git for install script