chg: new version of grobcov.lib