Is stderr flushed automatically after exceptions are printed