Fix CI flag.