small improvements of a build script for linux