Fix CI config...