CI fix again we hope