Fix a mingw32 build issue