fix travis settings ...