finmap.2.1.0 and zify.1.5.0+2.0+8.16 compat MC 2.3.0, mathcomp-real-closed.2.0.1 not

finmap.2.1.0 and zify.1.5.0+2.0+8.16 compat MC 2.3.0, mathcomp-real-closed.2.0.1 not #1403