Remove unused file

I just realized this file is not used anywhere ..