setting pushd_ignore_dups.