Fix CI compilation error