hhvm: use fpm php.ini