Fix CI setup.