--- 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