3.8: use gnome-3-8 branch for gnome-panel