Fix Win32 configure