CP-17268 don't profile for coverage by default
CP-17268 don't profile for coverage by default

This was an oversight in the last commit.

Signed-off-by: Christian Lindig <4f88b50bc9dba63c9a7d9e208d4b3ac6f1a52800@citrix.com>

thomassa/xenopsd,euanh/xenopsd,johnelse/xenopsd,euanh/xenopsd,johnelse/xenopsd,thomassa/xenopsd,thomassa/xenopsd,johnelse/xenopsd,euanh/xenopsd