fix travis ci setting