small fixes to build.sh