Tweak coverity settings