diff -r 71fc5893071c -r bce8cf41d666 tools/build_windows.bat