Removed now-unused file