use flambda for newer Coq

4 jobs for master in 22 minutes and 4 seconds (queued for 7 seconds)