PHPUnit configuration tweaks