diff --git a/frontend/menu/menu_common.h b/frontend/menu/menu_common.h
index ccb511fea5..29b62e3271 100644
--- a/frontend/menu/menu_common.h
+++ b/frontend/menu/menu_common.h
@@ -17,6 +17,10 @@
 #ifndef MENU_COMMON_H__
 #define MENU_COMMON_H__
 
+#ifdef HAVE_CONFIG_H
+#include "../../config.h"
+#endif
+
 #ifdef HAVE_RGUI
 #define MENU_TEXTURE_FULLSCREEN false
 #else