diff --git a/tools/tools_common.h b/tools/tools_common.h
index 0ce5ca5201209106cd5c1a99548d22aa26d1bdb8..6aa14c9f09d24033d9e05b5d5adf411bbd9adca5 100644
--- a/tools/tools_common.h
+++ b/tools/tools_common.h
@@ -28,6 +28,9 @@
 #ifdef OPENDHT_INDEXATION
 #include <opendht/indexation/pht.h>
 #endif
+#ifdef OPENDHT_PROXY_SERVER
+#include <opendht/dht_proxy_server.h>
+#endif
 
 #ifndef WIN32_NATIVE
 #include <getopt.h>