Commit ced86da7ddbbd0d64f8ba1290b8e67600b1db2d4

Behdad Esfahbod 2017-10-22T17:03:36

Another try at fixing mingw32 build bot fail