Tweak coverage stat gathering
Fix coverage_file naming