Cram tests fail with recent `dune`

With `dune.3.20.2`, I get ``` index dd69154c9..48cd68beb 100644 --- a/_build/default/tests/regression/99-tutorials/solution/01-first.t +++ b/_build/default/tests/regression/99-tutorials/solution/01-first.t.corrected @@ -1,12 +1,12 @@ $ goblint --set "ana.activated[+]" signsSol ../01-first.c - [Success][Assert] Assertion "x < 0" will succeed (/workspace_root/default/tests/regression/99-tutorials/01-first.c:17:3-17:25) + [Success][Assert] Assertion "x < 0" will succeed (/workspace_root/tests/regression/99-tutorials/01-first.c:17:3-17:25) ``` with `3.19.1` it behaves as expected.