Merge pull request #5352 from urisimchoni/fix-logprof-manpage