[jenkins] Use mingw64 to build, not 32