Adapt to https://github.com/math-comp/math-comp/pull/1545#38

arthuraa merged 2 commits intoarthuraa:masterarthuraa/deriving:masterfrom

proux01:mc1545proux01/deriving:mc1545Copy head branch name to clipboard