Fix Travis CI config.