Dick Davies wrote:

> I take it the silence means no-one else has seen this?

Apparently so.  However, those symptoms are usually caused by starting
off from a destdir pupolated with stale header files which ought to have
been removed entirely beforehand.


- Klaus