Fix up mingw32 case