diff --git a/griffin/griffin.c b/griffin/griffin.c
index 1cb768c917..fbb7afe104 100644
--- a/griffin/griffin.c
+++ b/griffin/griffin.c
@@ -76,6 +76,7 @@ CONFIG FILE
 #endif
 
 #include "../conf/config_file.c"
+#include "../core_options.c"
 
 /*============================================================
 CHEATS