Fix for Coq 8.8

3 jobs for master in 5 minutes and 23 seconds (queued for 1 second)