[gnome-base/cinnamon] port to GNOME 3.8, OMG