Peter I. Hansen writes:

>You're correct. But make install does nothing here. However make update
>did the trick...

I've been bitten by the same thing yesterday.. "make clean" did help. :)

-- 
  Matthias Buelow;  mkb@{mukappabeta.de,informatik.uni-wuerzburg.de}