Use newer PHPunit version