Modification in PHPUnit config