waf: various fixes for windows
waf: woops