make it work with coq 8.4, patched