Don't use pushd