In the meantime, avoid gnu-grep, to have reproducible builds. (especially since ggrep is half-broken with new vmmap)