Re: [libvirt] [PATCH] bug in vboxDomainDestroy in vbox driver