hhvm travis config #19