travis and coverity