Question about cffi-libffi on win32