proper xmonad config