Removed now-unused file

Not used after the last commit.