updated hhvm to php-cli