fix build with Coq 8.10 and newer

6 jobs for master in 13 minutes and 12 seconds (queued for 1 second)