diff --git a/none/nl_main.c b/none/nl_main.c
index 30088c5..04f304f 100644
--- a/none/nl_main.c
+++ b/none/nl_main.c
@@ -28,7 +28,7 @@
    The GNU General Public License is contained in the file COPYING.
 */
 
-#include "tool.h"
+#include "pub_tool_basics.h"
 #include "pub_tool_libcassert.h"
 #include "pub_tool_tooliface.h"