Make pushd/popd commands less noisy by default