hhvm in travis just for fun