Index: /issm/trunk-jpl/src/c/io/Print/PrintfFunction.cpp
===================================================================
--- /issm/trunk-jpl/src/c/io/Print/PrintfFunction.cpp	(revision 14936)
+++ /issm/trunk-jpl/src/c/io/Print/PrintfFunction.cpp	(revision 14937)
@@ -11,4 +11,5 @@
 
 #include <stdarg.h>
+#include <cstdio>
 #ifdef _HAVE_ANDROID_NDK_
 #include <android/log.h>