diff --git a/waf b/waf
index 841827b755..22d303e8bb 100755
Binary files a/waf and b/waf differ