Update waf-tools version