Fix build breakage caused by use of std::to_string(int).  Replace with raw_string_ostream.