added long time forgotten mingw.h workaround (now obsolete, though)