another attempt at fixing CI