hhvm: convert hdf format to ini