Fix mingw32 build