Fix phpunit.xml