Fix Travis script to work with Coverity.