On 17.10.2010, at 14:05, Andreas Färber wrote: > Otherwise GCC 4.2.4 complains that panic() marked noreturn does return. Thanks, that one hit me too and I didn't know how to fix it properly :). Applied. Alex