On Wed, Jun 11, 2008 at 12:17:46AM +0200, Thomas Schwinge wrote: > What version of GCC? 4.3? I remember having issues with that one and > pfinet. Yeah, we reverted to gcc-4.2 for now. Didn't get around testing the build yet, though. Michael