BUG: the wrong executable was being found ...

... despite the right prefix being passed due to an embarrassing bug in
the code.