maintain compatibility with coq 8.4, patched