Removing unused file

This was obviously an errorneous addition