std::flush for std::out