Provide the Coverity installation directory on the agent where it will be installed during the Jenkins build.