pushd/popd are bashisms