w32: Hacks for building with 32 bit mingw64.