diff --git a/src/video/cocoa/cocoa_v.mm b/src/video/cocoa/cocoa_v.mm
index 89fdd73504..f17f0f35e3 100644
--- a/src/video/cocoa/cocoa_v.mm
+++ b/src/video/cocoa/cocoa_v.mm
@@ -41,6 +41,8 @@
 #include "../../window_func.h"
 #include "../../window_gui.h"
 
+#include "../../citymania/cm_hotkeys.hpp"
+
 #import <sys/param.h> /* for MAXPATHLEN */
 #import <sys/time.h> /* gettimeofday */
 #include <array>