updated waf-tools dependency