3.15.3.1 ======== * adjust to gnome-shell change