Update for compatibility with GNOME Shell 3.12.