only set coverage for thepunisher files