hhvm travis setup fix