3.7.2 Linux build script improvements

Hi Maciek,

I did some small improvements to this build script:

Made bash usage explicit in linux 3.7.2 build script and removed redundant variable BUILD_ROOT, which was being over written at line 140 anyway.

Regards Maarten