fixing up xmonad coverage benchmark