Maybe bash needed for pushd/popd.