Use /bin/bash explicitly, since Ubuntu defaults /bin/sh to dash