cgrep: depends on gmp.