BaseTools: remove an unused file