fix hhvm on travis