[xmonad] Re: How can I set modMask to ctrl+alt?