travis: coverity changes