Merge pull request #5088 from alexrp/profiler-lightweight-coverage