fix PHPUnit configuration