Also disable HHVM for Mysqli builds