In build.sh, we have

  #!/bin/sh

which is  is not guaranteed to be bash. I only know bash and am hitting sh incompatibilities when coding testsuite script.
Can I change it to /bin/bash? Or are we restricted by some crazy platforms without bash?

Thanks,
Ondra