On 04/02/2017 16:34, Tim Daneliuk wrote: > I've used this configuration for some years and never had a problem nor > seen anything like this. What's the revision number of your sources? Have you tried re-fetching your sources then make clean and then re-running buildworld etc? -- J.