Debug stub requires stdio.h

diff --git a/src/stub_debug.cc b/src/stub_debug.cc
index 9a3fc6166bff50ad1e987fc1e90f036741fbed06..3792dd0b52708798cafa488dfc1de856d22bf685 100644 (file)
--- a/src/stub_debug.cc
+++ b/src/stub_debug.cc
@@ -5,6 +5,10 @@
 #include "config.h"
 #include "Debug.h"
 
+#if HAVE_STDIO_H
+#include <stdio.h>
+#endif
+
 FILE *debug_log = NULL;
 int Debug::Levels[MAX_DEBUG_SECTIONS];
 int Debug::level;