Actually removed the symbolset files.