Better super-grep

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>