Update git incantations in build_ubuntu.sh, fix indentation in build_gitwork.sh