--- src/swtitle.h.orig	2007-10-02 19:17:03.000000000 +0200
+++ src/swtitle.h	2007-10-02 19:17:22.000000000 +0200
@@ -30,6 +30,7 @@
 extern int getgame();
 extern void swtitln();
 extern void swtitlf();
+extern BOOL titleflg;
 
 #endif