> > This has broken arm-eabi and x86_64-linux for me (I haven't checked > > other targets). > > I have no problem with both arm-eabi and x86_64-linux. Turns out is was CVS lameness. Forcing it to pull in the new toplevel files fixed the problem. Sorry about the noise. Paul