waf make script