Fix broken CI config