Stop printing findlib paths on Dynlink errors
Stop printing findlib paths on Dynlink errors

It gets pretty verbose and the paths rarely if ever are useful to
understand the error.

(my understanding is that most dynlink errors will be either interface
mismatch or something like https://github.com/MetaCoq/metacoq/issues/777)

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