update to waf 1.7.10