Linux build script slightly updated