Fix CI issue with HHVM