diff --git a/server/reds.h b/server/reds.h
index 2ad09ada..e3641fa1 100644
--- a/server/reds.h
+++ b/server/reds.h
@@ -19,6 +19,7 @@
 #define REDS_H_
 
 #include <stdint.h>
+#include <inttypes.h>
 #include <spice/vd_agent.h>
 #include <common/marshaller.h>
 #include <common/messages.h>