phpunit.xml should be phpunit.xml.dist so one can overwrite it