build.sh: small fixes