which traverses the $PATH and returns any executable binary of the appropriate name that it can find. Fixes #1555.