Add a note that ffi doesn't work on 64 bits