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