Bad coverity config