add pushd_ignore_dups