Change how hhvm config is set for travis-ci