modify travis CI setting