Fix Travis CI build.