Update to Waf 1.8.0.