try hhvm with travis, but only 5.5