Fix querying of location of mirage-xen.

As requested in issue #100, including a similar fix to scripts/mir-xen-build.

Cheers,
Petter