Bump travis-build.

Includes a fix for coverity addon.