Remove GREP_OPTIONS from set_*.txt