working to get coverity to work