F17 fedora xfce spin: what display manager?