bugfix in build script