Use newest PHPUnit