Re: [libvirt] [jenkins-ci PATCH] guests: install additional debugging tools