Work around a possible bug
Work around a possible bug

https://gitlab.com/coq/coq/-/jobs/544269051 /
https://github.com/coq/coq/pull/12174#issuecomment-626624711

JasonGross/coq-tools,JasonGross/coq-tools