Re: (ITS#8127) 32 bit windows build fails with mingw