Update for Coverity Scan/Travis-CI integration