Right that is already done by `tests/bootstrap.php`!