Re: [Vm-dev] Re: CMakeVMMaker patch