Fixing PHPUnit config