Delete coverity-make