flush stdout