bugfix in build.sh