On Wed, Jun 11, 2008 at 12:07:37PM +0200, Michael Banck wrote: > Yeah, we reverted to gcc-4.2 for now. Didn't get around testing the > build yet, though. Works fine, I've uploaded it now. Michael