hhvm has segmentation fault on travis ci