Use Bash instead of dash on Ubuntu