Added gnome-shell-extensions to gnome dekstop (hope it is ok to add it)