[skip-list] Removing a redundant file.