Why GNU Grep is fast