fix: example in grobcov.lib