add fix for waf-1.8.0pre1