Specific Coverity version to download, rather than opting for the latest version