remove GREP_OPTIONS since it is deprecated