Fix build.sh for Debian

Debian's /bin/sh is not bash, it's dash (Debian Almquist Shell).