Fix Travis-CI build.