On another trial, I couldn't reproduce the problem, so I guess I couldhave been mistaken about old binary overwritten by "make install". I wouldlike any advice, though, relating to the issue.
Thanks.Ben