diff --git a/ChangeLog b/ChangeLog
index 994f7153..814c8caa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -16,6 +16,7 @@
 	* lib/tcbfuncs.c: Ignore fflush() return value.
 	* lib/tcbfuncs.c: Avoid implicit signed to unsigned conversions.
 	* lib/tcbfuncs.c: Avoid integer to char conversions.
+	* lib/tcbfuncs.c: Include prototypes.h for the definition of Prog.
 
 2010-03-17  Nicolas François  <nicolas.francois@centraliens.net>
 
diff --git a/lib/tcbfuncs.c b/lib/tcbfuncs.c
index 6391ec53..fa2df2df 100644
--- a/lib/tcbfuncs.c
+++ b/lib/tcbfuncs.c
@@ -33,6 +33,7 @@
 #include "config.h"
 
 #include "defines.h"
+#include "prototypes.h"
 #include "getdef.h"
 #include "shadowio.h"
 #include "tcbfuncs.h"