Fix for build failure due to the way code-coverage tool was run