Update waf to 1.8.0-pre1