coverage-setup should only happen if COVERAGE is set