Fixed 'grep: warning: GREP_OPTIONS is deprecated'