add some useful gnome extensions