rename files batch by a given txt file