--- extrecmenu-1.2_orig/tools.c 2008-03-22 15:00:12.000000000 +0100 +++ extrecmenu-1.2_orig/tools.c 2008-06-15 10:54:33.000000000 +0200 @@ -5,6 +5,7 @@ #include #include #include +#include #include #include #include