Change shebang to bash

as we have many bashisms which makes dash (/bin/sh on Debian) unhappy