waf: wscript