Update build script

git protocol is more efficient than https protocol