Minor change to phpunit.xml