travis-ci configuration changes