win32 32-bit for v0.10.12