Another fix for Coverity to work with Travis CI