On May 17 12:11, Sebastian Huber wrote: > Make sure that the stdio exit handler is set in all stdio initialization paths. Looks like this fixes it, but I'd like Takashi to take another look. Thanks, Corinna