it should be called phpunit.xml.dist so that a developer can have a local phpunit.xml with their own customizations.