Flush stderr if we run out of memory, so that the error message more probably finds its way to the error log