! Fix segmentation fault on travis, by forcing upgrade of phpunit