3.10: mutter and gnome-shell branched