modify Travis CI setting