Fix `iIntros` regression caused by b0ae1102.

3 jobs for master in 9 minutes and 23 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq8.6.1 #3596
fp-timing

00:09:08

passed build-coq8.7 #3595
fp-timing

00:06:11

 
  Opam
passed opam #3597

00:00:13