Re: [libvirt] [libvirt-php] bug in libvirt_domain_change_vcpus()