1.0.25.57: fix compilation on win32