Fixed travis bug when using latest phpunit