Fix PHPUnit configuration.