Updating `build-gsl-linux.sh` dev-tool script.