Update to waf 1.8.0pre1