modify travis setting