GNOME Shell 3.9 and 3.10 enabled (fixes #2)