Update coverage_file_spec.