Make configuration changes for Travis CI