Travis CI config update