Fixed coverage output to work with Jenkins