public static string GetExceptionFileName(string dictFileName)
{
// The order here is important. Since the exception file might not exist, we need to get the short name of
// the dictionary itself, which hopefully does, and change its extension. Changing the extension first
// will produce the name of a possibly non-existent file, for which we can't get a short name.
return Path.ChangeExtension(GetShortName(dictFileName), ".exc");
}