repair phpunit.xml