# cat /etc/hhvm/php.ini 
; php options
session.save_handler = files
session.save_path = /var/lib/php5
session.gc_maxlifetime = 1440

# cp /etc/hhvm/config.hdf /etc/hhvm/config.hbf