[ET Trac] [Einstein Toolkit] #355: Flush stdout and stderr