stdlibfilt error . Need additional details

stdlibfilt is a very simple text filter that replaces some of the standard library (STL) names that often have very long list of template arguments with their shorter human-readable versions like std::string. It uses /bin/sed to do so, so I'd start with checking if sed works on the system. You can try adding -v -keeptmp to the command line that fails and execute the failing command by hand to learn why it fails.