use bash rather than sh

convert shebang to use bash rather than sh to avoid pushd and pops warnings.

Discovered during a meeting between @mark, @thanayik, and Pedro.