fix bug

fix this warnning : grep: warning: GREP_OPTIONS is deprecated; please use an alias or script
SORRY for that. It should be `$GREP_OPTIONS`