Minor change to the phpunit.xml.dist file