basic GNOME 3.10 compatibility