Re: [Vm-dev] compilation on x86_64 linux