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