private void LoadCustomOptions(XmlElement parent){
XmlElement options = parent["Options"];
Debug.Assert(String.Compare(options.Name, "Options", StringComparison.OrdinalIgnoreCase) == 0);
this.doFast = Boolean.Parse(options.GetAttribute("fast"));
this.doPrint = Boolean.Parse(options.GetAttribute("print"));
this.doCRS = Boolean.Parse(options.GetAttribute("UseContextRelativeStatics"));
this.versionSafe = Boolean.Parse(options.GetAttribute("VersionSafe"));
this.libpath = options.GetAttribute("libpath");
this.doWarnAsError = Boolean.Parse(options.GetAttribute("warnaserror"));
this.nWarningLevel = Int32.Parse(options.GetAttribute("WarningLevel"), CultureInfo.InvariantCulture);
this.LoadUserDefines(options);
this.LoadManagedResources(options);
}