A second run of make uses the mirage tool available into the duniverse repository

[dinosaure]

It's a bit strange and I did not introspect too much the problem but it seems that a second make uses the mirage tool available into the duniverse directory. At least, a concurrent development of the mirage tool with opam pin and mirage-skeleton put me into some troubles about which version of mirage I used to do mirage configure.

This issue is mostly to keep track on such behavior: if it's expected or not and if someone got a similar problem.