see http://unix.stackexchange.com/questions/73665/getting-xmonad-and-gnome-panel-working-with-fedora-18