attempt at fixing CI