Bump travis-build.

Includes a minor change for the Coverity addon.