* various changes, mostly compatible with gnome 3.8 now