add test for setting COVERAGE_FILE