PHPunit 4.1 for hhvm test