TravisCI/Coverity tweaks