Adjust coverity build