Fix HHVM on Travis CI