zsh: fixes GREP_OPTIONS deprecation warnings