[Xmonad] Patch to X11, tune up the optimisation a bit