Remove what seems to be an unecessary file