fix CI config