Travis now uses phpunit.xml.dist