SBI problem: Timeprof outputs clipped mangled function name which does not exist in binary
This is connected to fix e1ab5d0a. The undesired side effect is, that Timeprof outputs clipped versions of regions' names which can't be later found when instrumenting with Meric.