diff -rupN boinc-6.12.42.old//clientgui/gtk/taskbarex.cpp boinc-6.12.42//clientgui/gtk/taskbarex.cpp --- boinc-6.12.42.old//clientgui/gtk/taskbarex.cpp 2012-04-26 22:44:19.103778731 +0200 +++ boinc-6.12.42//clientgui/gtk/taskbarex.cpp 2012-04-26 22:46:39.713768634 +0200 @@ -20,7 +20,7 @@ #include "stdwx.h" #include -#include +#include #include #include