build.sh: minor fix