Accommodating Gnome 3.10 API change (Gnome Shell commit 792b963bda8c44023c0590c42c08ec0bad1a4bda)