fix for win32 (under python2.7.5)