Added method to get SPC file names in SpcFileManager