The text 0ef1a7d2aff5, as Debian 8 (Jessie) shipped it.
Undo C++ name mangling for symbols
demangle(1) on Linux now
