Fixes to build_w32.bat for building with MSVC 64bit.