remove overload of run_process that returned stdout as a vector<char> because you should do the buffering yourself with a proper sink