Fix gitlab coverage detection

See https://docs.gitlab.com/ee/ci/testing/test_coverage_visualization.html