Fix CI config.