[xmonad] [PATCH] XMonad: Use window border width instead of borderWidth