fix travis ci problem