Make our grep work about 4% faster