InstrProf: Avoid using std::to_string