hopefully fix coverage tools