Index: work/src/main/tools/logging.h
===================================================================
--- work.orig/src/main/tools/logging.h
+++ work/src/main/tools/logging.h
@@ -20,6 +20,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <time.h>
+#include <inttypes.h>
 
 // see
 // http://stackoverflow.com/questions/5641427/how-to-make-preprocessor-generate-a-string-for-line-keyword
