diff --git a/waf b/waf
index e45356a3..f0f7f632 100755
Binary files a/waf and b/waf differ