1 files changed, 1 insertions, 0 deletions

diff --git a/src/ext/gnunet-service-ext.c b/src/ext/gnunet-service-ext.c
index d172eb2..d434182 100644
--- a/src/ext/gnunet-service-ext.c
+++ b/src/ext/gnunet-service-ext.c
@@ -23,6 +23,7 @@
  * @brief ext service implementation
  * @author Christian Grothoff
  */
+#include <gnunet/platform.h>
 #include "gnunet_ext_config.h"
 #include <stddef.h>