attempt to find segfault on CI

build.sh

@@ -6,4 +6,4 @@ sed -i "s/sgbd.config.password =/sgbd.config.password = opac/g" config.ini
 sed -i "s/sgbd.config.dbname =/sgbd.config.dbname = opac/g" config.ini
 touch local.php
 php scripts/upgrade_db.php
-phpunit -c tests/phpunit.xml --exclude-group no-ci
+phpunit -c tests/phpunit.xml --exclude-group no-ci --testdox