fix for Coq 8.7

1 job for master in 6 minutes and 52 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-iris.dev #17708
fp

00:06:52