waf: add some hacks for mingw32