Silence pushd and popd (and functions that call them) in bash.