Here the content of terminalName gets copied. It's actually cheaper to first insert and then use the back() as target for getTerminal():
```
m_PrevStdoutFileName.push_back(SmallString<128>());
getTerminal(STDOUT_FILENO, m_PrevStdoutFileName.back());
```