diff --git a/tools/wscript b/tools/wscript
index b93eb8f..7859de3 100644
--- a/tools/wscript
+++ b/tools/wscript
@@ -23,6 +23,8 @@
     enabled_tools = set() # --enable-X
     disabled_tools = set() # --disable-X
 
+    Options.options.disable_pib = True
+
     for subdir in conf.path.ant_glob(['*'], dir=True, src=False):
         tool = str(subdir)
         all_tools.add(tool)