Fix coverity build