Activate coverity.