Fix profiler symbolification