Minor modifications of the build script.