Another attempt at fixing breaking CI