Gnome Panel needs Mono?!