Fix for gcc 4.8
Build script: small improvements