Back to Scoverage - bug is fixed.

And in other aspects Scoverage is much more robust.