Merge pull request #5512 from rodrmoya/fix-mono-profiler-lib