Change std::to_string for the old good snprintf