diff --git a/waf b/waf index e803b0f..030bf9b 100755 Binary files a/waf and b/waf differ