Re: [Vm-dev] [Pharo-dev] patching vmmaker