[Vm-dev] Re: Having FFI trouble with 4.2 on Linux