Issue 10344 Exiting _Dmain should flush all FILE*s and return nonzero on failure
Merge pull request #530 from lionello/fix10344

Issue 10344 Exiting _Dmain should flush all FILE*s and return nonzero on failure