Index: /issm/trunk-jpl/src/c/shared/io/Disk/WriteLockFile.cpp
===================================================================
--- /issm/trunk-jpl/src/c/shared/io/Disk/WriteLockFile.cpp	(revision 15659)
+++ /issm/trunk-jpl/src/c/shared/io/Disk/WriteLockFile.cpp	(revision 15660)
@@ -6,4 +6,5 @@
 #include "../Comm/Comm.h"
 #include "../Print/Print.h"
+#include <cstdio>
 
 void WriteLockFile(char* filename){