Fix issue #865#1439
Failure
✅ (analysis) (passed)
✅ (lint-doc) (passed)
❌ (lint-fmt) (failed: Failed: Build failed)
❌ EXPERIMENTAL: (lower-bound) (failure: Failed: Build failed)
✅ alpine-3.23-5.5_opam-2.5 (passed)
✅ debian-12-5.5_opam-2.5 (passed)
✅ debian-13-5.2_opam-2.5 (passed)
✅ debian-13-5.4_opam-2.5 (passed)
✅ debian-13-5.5+flambda_opam-2.5 (passed)
✅ debian-13-5.5_arm64_opam-2.5 (passed)
✅ debian-13-5.5_opam-2.5 (passed)
✅ debian-13-5.5_ppc64_opam-2.5 (passed)
✅ debian-13-5.5_riscv64_opam-2.5 (passed)
✅ debian-13-5.5_s390x_opam-2.5 (passed)
✅ fedora-42-5.5_opam-2.5 (passed)
✅ fedora-43-5.5_opam-2.5 (passed)
✅ fedora-44-5.5_opam-2.5 (passed)
✅ macos-homebrew-5.5_arm64_opam-2.5 (passed)
✅ macos-homebrew-5.5_opam-2.5 (passed)
🟠 openbsd-79-amd64-5.5_opam-2.5 (active)
✅ opensuse-16.0-5.5_opam-2.5 (passed)
✅ ubuntu-22.04-5.5_opam-2.5 (passed)
✅ ubuntu-24.04-5.5_opam-2.5 (passed)
✅ ubuntu-25.04-5.5_opam-2.5 (passed)
✅ ubuntu-25.10-5.5_opam-2.5 (passed)
✅ ubuntu-26.04-5.5_opam-2.5 (passed)