Use a more recent version of PHPUnit