Thread: update question: two versions

On another trial, I couldn't reproduce the problem, so I guess I could
have been mistaken about old binary overwritten by "make install". I would
like any advice, though, relating to the issue.

Thanks.
Ben