re-add lib-cov