bash -x should not be the default