travis.yml: fix coverity-scan