followup on #1393 - remove lib-cov stuff