BUG: the wrong executable was being found ...

... despite the right prefix being passed due to an embarrassing bug in
the code.
Merge pull request #94 from prabhuramachandran/bug_in_get_executable

BUG: the wrong executable was being found ...