bugfix: make this work on gnome 3.10 too