Replacing gnome-shell on Fedora 15