travis + coverity