make grep 50x faster