Fixes #5263 use HHVM binary with --php. Archive may now be compatible with HHVM.

If you still have any issue please comment in the ticket!