use clover instead of PHPUnit XML