Install extensions for gnome 3.9