Fix running test suite (unit tests) outside dune with with pure dune build
Fix running test suite (unit tests) outside dune with with pure dune build

Fix #14624

I have no idea if the test suite works with legacy build configured -profile devel
(ie with prefix = local)

Zimmi48/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,coq/coq