Fix a problem in Linux build.sh

Build stops when directory ($DIR) contains spaces