Fix compilation of the win32 configuration.