really fix CI