diff --git a/waf b/waf index 1945d42..2dbb06b 100755 Binary files a/waf and b/waf differ