Attempt at fixing flaky CI build