Make sure coverity is visible from setup.py