Run 5000-benchmark on HHVM vs Zend