Re: [PATCH 1/2] ctl: MachinePool renamed to SlavePool