--- previous/src/shortcut.c	2018/04/24 19:25:10	1.1.1.1
+++ previous/src/shortcut.c	2018/04/24 19:25:32	1.1.1.2
@@ -24,6 +24,7 @@ const char ShortCut_fileid[] = "Hatari s
 #include "sdlgui.h"
 #include "video.h"
 #include "avi_record.h"
+#include "clocks_timings.h"
 
 static SHORTCUTKEYIDX ShortCutKey = SHORTCUT_NONE;  /* current shortcut key */