various tiny cleanups reported by my editor

They were reported by clang-tidy and simgrid deprecation.
2 jobs for master in 25 minutes and 40 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #929126
large
build

00:08:48

 
  Publish
passed #929127
large
docker

00:16:52