Modify travis-ci setting