no ffi.verify() anymore, using ffi.dlopen instead
small cleanup