#
#
# patch "server.cc"
#  from [826768a5fe16dccb49bafff754a8f9f0d3cbce60]
#    to [d6e42343ba98a9dff8fc894f76786307a357ab1c]
#
============================================================
--- server.cc	826768a5fe16dccb49bafff754a8f9f0d3cbce60
+++ server.cc	d6e42343ba98a9dff8fc894f76786307a357ab1c
@@ -3,6 +3,7 @@
 #include "server_manager.hh"
 
 #include <iostream>
+#include <cstdio>
 using std::cerr;
 
 #include <cerrno>