Provide the Coverity execution path on the agent where it will be installed during the Jenkins build.