Try fixing CI by trying some stuff