waf: maybe fix mingw