Try and get Coverity going again