Use /bin/bash for scripts

/bin/sh is Dash on Ubuntu, which doesn't support some of the Bash-
specific syntax that these scripts use, causing them to fail. See
https://wiki.ubuntu.com/DashAsBinSh .