--- a/ObjectMemory.st	Thu Mar 17 22:26:29 2016 +0100
+++ b/ObjectMemory.st	Thu Mar 17 22:56:52 2016 +0100
@@ -5333,6 +5333,7 @@
 %{   /* NOCONTEXT */
 #ifdef __linux__
 # include <malloc.h>
+# include <stdio.h>
     malloc_info(0, stderr);
 #endif
 %}