Fix cobertura coverage file name