apply feedback; fix compilation with coq 8.5

Status Job ID Name Coverage
  Test
canceled #2268
coq
iris-coq8.5.3

canceled #2269
coq
iris-coq8.6