Re: [libvirt] [RESEND PATCHv3 1/3] build: restore operation of bit-rotted 'make cov'