[xmonad] Re: darcs patch: Fix an undefined in EwmhDesktops