renamed to ffi-libpuzzle