Grepping five to ten times faster