Update to waf 1.7.14