waf: update to waf-1.7.13