No matches were found for subject:"Bug#707760\: zsh\: Alternatives broken for long time during upgrade from zsh4 to zsh5"