pushd and popd are cool.