Fix Travis CI configuration.