make coverage creates now a XML file too