diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c
index a318f6c09..1e2dfd14c 100644
--- a/frontends/atari/gui.c
+++ b/frontends/atari/gui.c
@@ -65,6 +65,7 @@
 #include "atari/filetype.h"
 #include "atari/bitmap.h"
 #include "atari/font.h"
+#include "atari/options.h"
 #include "cflib.h"
 
 static bool atari_quit = false;