Tweaking output paths for `build-gsl-linux.sh`.