Run 3000-benchmark on HHVM vs Zend