update waf+wscript