Use bash for pushd/popd