fix travis settings