diff --git a/src/video/ataricommon/SDL_biosevents.c b/src/video/ataricommon/SDL_biosevents.c
index 54d9c9d6a..4231ffbf2 100644
--- a/src/video/ataricommon/SDL_biosevents.c
+++ b/src/video/ataricommon/SDL_biosevents.c
@@ -60,9 +60,9 @@ AtariBios_InitOSKeymap(_THIS)
     if (!use_dev_mouse) {
         vectors_mask |= ATARI_XBIOS_MOUSEEVENTS;        /* XBIOS mouse events */
     }
-    if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
+    /*if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
         vectors_mask = 0;
-    }
+    }*/
 
     SDL_AtariXbios_InstallVectors(vectors_mask);
 }
diff --git a/src/video/ataricommon/SDL_gemdosevents.c b/src/video/ataricommon/SDL_gemdosevents.c
index 7ef29bfbb..ffdf5349d 100644
--- a/src/video/ataricommon/SDL_gemdosevents.c
+++ b/src/video/ataricommon/SDL_gemdosevents.c
@@ -67,9 +67,10 @@ AtariGemdos_InitOSKeymap(_THIS)
     if (!use_dev_mouse) {
         vectors_mask |= ATARI_XBIOS_MOUSEEVENTS;        /* XBIOS mouse events */
     }
-    if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
+    /*if (Getcookie(C_MiNT, &dummy) == C_FOUND) {
         vectors_mask = 0;
-    }
+    }*/
+
     SDL_AtariXbios_InstallVectors(vectors_mask);
 }