PHPunit 4.0 for hhvm test