--- gdbtk_orig/generic/gdbtk-cmds.c	2012-03-05 09:19:00.000000000 +0100
+++ gdbtk/generic/gdbtk-cmds.c	2012-03-19 11:58:36.913173500 +0100
@@ -32,7 +32,6 @@
 #include "gdbcore.h"
 #include "demangle.h"
 #include "linespec.h"
-#include "tui/tui-file.h"
 #include "top.h"
 #include "annotate.h"
 #include "block.h"