Fix Windows 32bit configuration