scripts: use bash for build script

@jonboulle do we need the `-e` option?