Remove coverity

For now...