Installation and script changes for the move to sage-on-git