bash: GREP_OPTIONS -> alias