Force a rebuild of gnome-shell

The mutter api changed, causing gnome-shell to dump
core.