Index: gpe-taskmanager-0.20/gpe-taskmanager.c =================================================================== --- gpe-taskmanager-0.20.orig/gpe-taskmanager.c 2008-08-21 18:23:11.544135137 +0200 +++ gpe-taskmanager-0.20/gpe-taskmanager.c 2008-08-21 18:23:22.554712863 +0200 @@ -12,6 +12,7 @@ #include #include #include +#include #include #include