Removed unused file

Though I'd already removed that.