Remove unused file

As far as I can see this is not used anymore.