backport to coq 8.3