Actually call hhvm and not php