Test failures on oraclelinux-9 and freebsd

https://github.com/ocaml/opam-repository/pull/24493 reveals test failures on oraclelinux-9 and freebsd where _all_ tests fail:
* [goblint-cil.2.0.0.oraclelinux-9.txt](https://github.com/goblint/cil/files/12698186/goblint-cil.2.0.0.oraclelinux-9.txt)
* [goblint-cil.2.0.1.oraclelinux-9.txt](https://github.com/goblint/cil/files/12698188/goblint-cil.2.0.1.oraclelinux-9.txt)
