bugfix incompatibilty with multiprocessing.Pool (stdout.Flush())