Do not run coverage locally as default, since it messes up line numbers