--- src/server/DedicatedServer.h.orig	2018-04-08 17:02:41.619469460 +0100
+++ src/server/DedicatedServer.h	2018-04-08 17:02:48.487444527 +0100
@@ -22,6 +22,7 @@
 
 #include <string>
 #include <map>
+#include <vector>
 #include <list>
 #include <mutex>
 #include <deque>