fix counter64 on win32_x86