Fixes required for Mi-Cho-Coq dev branch and its certified optimizer

3 jobs for dev in 12 minutes and 19 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #631238326
coq

00:11:45

15.53%
passed #631238320
coq:8.8

00:12:19

passed #631238324
coq:8.9

00:11:06