diff -Nru gnome-terminal-2.26.3.orig/src/terminal-type-builtins.c gnome-terminal-2.26.3/src/terminal-type-builtins.c --- gnome-terminal-2.26.3.orig/src/terminal-type-builtins.c 2009-06-25 15:57:21.000000000 +0200 +++ gnome-terminal-2.26.3/src/terminal-type-builtins.c 2009-07-06 02:59:26.095124043 +0200 @@ -7,7 +7,7 @@ /* enumerations from "../../src/terminal-profile.h" */ -#include "../../src/terminal-profile.h" +#include "../src/terminal-profile.h" # GType terminal_title_mode_get_type (void)