More work on `build-gsl-linux.sh` script.