--- hatari/src/debug/console.c	2019/04/09 08:55:34	1.1.1.2
+++ hatari/src/debug/console.c	2019/04/09 08:59:18	1.1.1.4
@@ -12,7 +12,6 @@ const char Console_fileid[] = "Hatari co
 
 #include <stdio.h>
 #include <string.h>
-#include <SDL.h>
 
 #include "main.h"
 #include "m68000.h"
@@ -250,4 +249,5 @@ void Console_Check(void)
 		map_character(chr);
 		break;
 	}
+	fflush(stdout);
 }