gnome-panel broken ?