zsh: better adaptation to various kinds of terminals