close #4131:Remove a irrelevant file