[WIP] Adapt to math-comp/math-comp#1213

[pi8027]

Motivation for this change

See math-comp/math-comp#1213.

Checklist

• [ ] added corresponding entries in CHANGELOG_UNRELEASED.md

• [ ] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

• Read this Checklist
• Put a milestone if possible
• Check labels