Modificando archivos para coveralls