--- uae/src/od-dos/video/video.c	2018/04/24 16:44:03	1.1.1.3
+++ uae/src/od-dos/video/video.c	2018/04/24 17:19:10	1.1.1.5
@@ -20,7 +20,7 @@
 
 #include "config.h"
 #include "options.h"
-#include "threaddep/penguin.h"
+#include "threaddep/thread.h"
 #include "memory.h"
 #include "custom.h"
 #include "xwin.h"
@@ -359,7 +359,7 @@ int needmousehack(void) {
     return(0);
 }
 
-void write_log(const char *buf) {
+void write_log (const char *buf) {
     printf(buf);
 }