--- SuperTux-v0.6.2-Source/src/supertux/game_session.cpp~	2021-08-09 17:14:24.963957234 +0100
+++ SuperTux-v0.6.2-Source/src/supertux/game_session.cpp	2021-08-09 17:14:28.370973819 +0100
@@ -16,6 +16,8 @@
 
 #include "supertux/game_session.hpp"
 
+#include <cfloat>
+
 #include "audio/sound_manager.hpp"
 #include "control/input_manager.hpp"
 #include "gui/menu_manager.hpp"