removing an unnecessary file

I think