"GREP_OPTIONS" is deprecated.