build.sh: fix a few cosmetic issues