coq-mathcomp-odd-order.2.0.0 doesn't work with MathComp 2.2.0 and later

coq-mathcomp-odd-order.2.0.0 doesn't work with MathComp 2.2.0 and later #1559