Trying a brand new coverity config