gnome-shell-3.12 theme added