What was the name of that profile? Use ICCLIST to report the FileNames of ICC Profiles in a given directory. Both .icc and .icm extensions are supported
Use iccroot with ICCLIST to find the profiles in the default profile directory.
Use iccfind to search for profiles by name.