--- src/interface/Mainfrm.h	2020-03-11 19:25:00.949572120 +0100
+++ src/interface/Mainfrm.h	2020-03-11 19:25:15.536378827 +0100
@@ -8,6 +8,8 @@
 
 #include <wx/timer.h>
 
+#include <list>
+
 #ifndef __WXMAC__
 #include <wx/taskbar.h>
 #endif