zsh: various options