Flush stdout after printing in runIO

as the docs of runIO tell me to.