Remove GREP_OPTIONS because it's deprecated