no longer use GREP_OPTIONS