fix win32 build (python interface)