--- uae/src/tui.c	2018/04/24 17:00:15	1.1.1.9
+++ uae/src/tui.c	2018/04/24 17:02:07	1.1.1.10
@@ -15,7 +15,7 @@
 
 #include "config.h"
 #include "options.h"
-#include "threaddep/penguin.h"
+#include "threaddep/thread.h"
 #include "uae.h"
 #include "gensound.h"
 #include "joystick.h"