Change build-ci.sh to hopefully fix inability to push master branch