Removing non-portable FFI glue from here, since CFFI seems to work.