Another iteration on Coverity+Travis CI