Fix to the win32 FFI header