use new coverity tool and do a more thorough clean