zshrc: do not use oh-my-zsh by default