Bring the required version of hhvm down to the one that Travis uses.