zsh: remove obsolete alias