changed 32-bit Windows builder to Windows32