Why do we need a special `under_coverage_cmd` property? What's different about it, and more to the point, different enough that we can't just use the `cmd` property?