Hopefully fix a mingw32 buildbot (i686-mingw32-RA-on-linux) which does not have