Fix CI again