Disable coverity for now