Multiple fixes for xmonad config