the build script has to be executed by bash

The build.sh script is not POSIX-compliant so it shouldn't rely on /bin/sh being Bash, but it should explicitly ask to be executed by Bash.