CI config fix