gnome-shell: relax mutter run-time dependency (noticed by xdave).