Update how hhvm config is set on travis-ci