Modify bash to work with dash on ubuntu