Re: fprintf(stderr, ...) fails