enforce bash usage to avoid problems on Ubuntu with dash