try to fix coverage - I'm not seeing any exec files generated