I just upgraded to F13 and it's using Gnome and the "switchdesk" command doesn't seem to be working. What's the proper procedure now for changing to KDE in Fedora?