See PR46515 for the rational but generally, we want to *really* abort
not gracefully shut down.
stderr is unbuffered by default. Are we sure this behavior is not changed when the output is redirected into a file, as for example during execution in a batch job? What were the worries about having the fflush there?