diff --git a/waf b/waf index 4e68fed..e803b0f 100755 Binary files a/waf and b/waf differ