Slight improvement of the build script.