Fix awk: redirect in coverage_file