modify travis settings