TravisCI/Coverity tweak