zshrc: temporary quick fix for deprecated $GREP_OPTIONS