[#2210] To remove an irrelevant file