--- ./src/game_initialization/lobby_data.hpp.orig	2019-08-12 12:25:18.339232933 +0200
+++ ./src/game_initialization/lobby_data.hpp	2019-08-12 12:25:31.003233322 +0200
@@ -14,6 +14,7 @@
 
 #pragma once
 
+#include <ctime>
 #include <set>
 #include <deque>
 #include <functional>
--- src/replay.hpp.orig	2019-08-12 12:17:12.083439164 +0000
+++ src/replay.hpp	2019-08-12 12:17:23.703439521 +0000
@@ -21,6 +21,7 @@
 
 #include "map/location.hpp"
 
+#include <ctime>
 #include <deque>
 #include <iterator>
 #include <map>