coq-mathcomp-algebra and coq-mathcomp-fingroup re-installed when
installing coq-mathcomp-zify, so don't remove them in the first place