/etc/zsh/zshrc: activate 'setopt pushd_ignore_dups'