Modify travis settings