GREP_OPTIONS deprecated