This is a workaround for https://github.com/coq/coq/issues/14571
This fixes #114 (closed).
This fixes a regression caused by !270 (merged).