[bash] GREP_OPTIONS are deprectated, workaround with bash alias (already existed)