Fix hhvm travis-ci config