fix the fix for older gnome-shells