[Bug 815556] New: /etc/zshrc implements very unexpected default zsh-options