Fix Travis CI build config.