public static string GetPdbFileName(string assemblyFileName) { return Path.ChangeExtension (assemblyFileName, ".pdb"); }