GREP_OPTIONS is deprecated, made an alias instead