fix coverage server