win32/build.py: script that cross-compiles to Windows