Make sure that coverage also produces a Marius coverage report, which I
like a lot.