In fact, I think that COVERAGE_USE_STDOUT setting is just for the reporting output. In the code, we still output at other places (for instance when HTML as been generated, we output a message saying that "HTML report has been done blah blah blah"

Changing the name of the setting would be the solution, but I didn't want to be too intrusive in the base code