[Pharo-dev] FFI does not work on Linux 64-bit