Merge pull request #5292 from alexrp/profiler-symbol-fixes