gnome 3.12: make remote desktop sharing work