Travis CI configuration changes