Pin down to a specfic PHPUnit version