synergy-plu, synergy, and gnome3