Fix for mingw32 bug.