ensure we use bash, ubuntu is dash by default