Fix error in nightly build https://gitlab.dune-project.org/infrastructure/dune-nightly-test/-/jobs/465440