renamed to VMC (virtual machine commander)