Fix CI configuration.