fix for mingw32 builds