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

Handling final paths of headers and libraries.