Fix bashism in build.sh.