home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
boe.pres.k12.wv.us
/
boe.pres.k12.wv.us.zip
/
boe.pres.k12.wv.us
/
Utilities
/
UltraVNC_1.0.8.2_Setup.exe
/
install_script.iss
Wrap
Text File
|
2010-10-15
|
19KB
|
223 lines
;InnoSetupVersion=5.2.3
[Setup]
AppName=UltraVNC
AppVerName=UltraVNC 1.0.8.2
AppId=Ultravnc2
AppVersion=1.0.8.2
AppPublisher=1.0.8.2
AppPublisherURL={cm:PublisherURL}
AppSupportURL={cm:SupportURL}
AppUpdatesURL={cm:UpdatesURL}
DefaultDirName={pf}\{cm:MyAppName}
DefaultGroupName={cm:MyAppName}
OutputBaseFilename=in
Compression=lzma
ChangesAssociations=yes
LicenseFile=embedded\License.txt
InfoBeforeFile=embedded\InfoBefore.txt
InfoAfterFile=embedded\InfoAfter.txt
WizardImageFile=embedded\WizardImage0.bmp
WizardSmallImageFile=embedded\WizardSmallImage0.bmp
[Files]
Source: "{tmp}\isxdl.dll"; DestDir: "{tmp}"; MinVersion: 0.0,5.0.2195; Flags: deleteafterinstall dontcopy
Source: "{tmp}\UltraVNC.ico"; DestDir: "{tmp}"; MinVersion: 0.0,5.0.2195; Flags: deleteafterinstall dontcopy
Source: "{tmp}\WizModernSmallImage-IS.bmp"; DestDir: "{tmp}"; MinVersion: 0.0,5.0.2195; Flags: deleteafterinstall dontcopy
Source: "{app}\check_install,1.exe"; DestDir: "{app}"; DestName: "check_install.exe"; Components: UltraVNC_Server_S; BeforeInstall: "StopVNC_S"; MinVersion: 0.0,5.0.2195; Flags: restartreplace
Source: "{app}\check_install,2.exe"; DestDir: "{app}"; DestName: "check_install.exe"; Components: UltraVNC_Server; BeforeInstall: "StopVNC"; MinVersion: 0.0,5.0.2195; Flags: restartreplace
Source: "{app}\Whatsnew,1.txt"; DestDir: "{app}"; DestName: "Whatsnew.txt"; MinVersion: 0.0,5.0.2195;
Source: "{app}\Licence,1.txt"; DestDir: "{app}"; DestName: "Licence.txt"; MinVersion: 0.0,5.0.2195;
Source: "{app}\Readme.txt"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
Source: "{app}\winvnc.exe"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\logmessages.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\vnchooks.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\logging.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\authadmin.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\workgrpdomnt4.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
Source: "{app}\ldapauth.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0; Flags: restartreplace ignoreversion
Source: "{app}\ldapauthnt4.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; OnlyBelowVersion: 0.0,5.0; Flags: restartreplace ignoreversion
Source: "{app}\ldapauth9x.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; Flags: restartreplace ignoreversion
Source: "{app}\authSSP.dll"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; Flags: restartreplace ignoreversion
Source: "{app}\MSLogonACL.exe"; DestDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; Flags: restartreplace ignoreversion
Source: "{app}\vncviewer.exe"; DestDir: "{app}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.0.2195; Flags: restartreplace ignoreversion
; Source: "{app}\,1"; DestDir: "{app}"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\,2"; DestDir: "{app}"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,1"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,2"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,3"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,4"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,5"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\,6"; DestDir: "{app}\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\driver\,1"; DestDir: "{app}\driver\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\driver\,2"; DestDir: "{app}\driver\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\driver\,3"; DestDir: "{app}\driver\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
; Source: "{app}\driver\driver\,4"; DestDir: "{app}\driver\driver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195; Flags: restartreplace skipifsourcedoesntexist ignoreversion
Source: "{app}\MSRC4Plugin.dsm"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
Source: "{app}\Whatsnew,2.txt"; DestDir: "{app}"; DestName: "Whatsnew.txt"; MinVersion: 0.0,5.0.2195;
Source: "{app}\Licence,2.txt"; DestDir: "{app}"; DestName: "Licence.txt"; MinVersion: 0.0,5.0.2195;
Source: "{app}\Readme_dsm.txt"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
Source: "{app}\SecureVNCPlugin.dsm"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
Source: "{app}\SecureVNCPluginARC4.dsm"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
Source: "{app}\uvnc_settings.exe"; DestDir: "{app}"; MinVersion: 0.0,5.0.2195;
[Dirs]
Name: "{app}\Plugins";
Name: "{app}\sfx";
[Registry]
Root: HKCR; Subkey: ".vnc"; ValueType: String; ValueData: "VncViewer.Config"; Tasks: associate; MinVersion: 0.0,5.0.2195; Flags: uninsdeletevalue
Root: HKCR; Subkey: "VncViewer.Config"; ValueType: String; ValueData: "VNCviewer Config File"; Tasks: associate; MinVersion: 0.0,5.0.2195; Flags: uninsdeletekey
Root: HKCR; Subkey: "VncViewer.Config\DefaultIcon"; ValueType: String; ValueData: "{app}\vncviewer.exe,0"; Tasks: associate; MinVersion: 0.0,5.0.2195;
Root: HKCR; Subkey: "VncViewer.Config\shell\open\command"; ValueType: String; ValueData: """{app}\vncviewer.exe"" -config ""%1"""; Tasks: associate; MinVersion: 0.0,5.0.2195;
[Run]
Filename: "{app}\WinVNC.exe"; Parameters: "-install"; StatusMsg: "{cm:Registering, UltraVNC}"; Components: UltraVNC_Server UltraVNC_Server_S; Tasks: installservice; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Filename: "{app}\driver\setupdrv.exe"; Parameters: "install"; Components: UltraVNC_Server; Tasks: driver; MinVersion: 0.0,5.0.2195;
Filename: "net"; Parameters: "start uvnc_service"; StatusMsg: "{cm:Starting,UltraVNC}"; Components: UltraVNC_Server UltraVNC_Server_S; Tasks: startservice; MinVersion: 0.0,5.0.2195;
Filename: "{sys}\netsh"; Parameters: "firewall add portopening TCP 5900 vnc5900"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.01;
Filename: "{sys}\netsh"; Parameters: "firewall add portopening TCP 5800 vnc5800"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.01;
Filename: "{sys}\netsh"; Parameters: "firewall add allowedprogram ""{app}\winvnc.exe"" ""winvnc.exe"" ENABLE ALL"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.01;
Filename: "{sys}\netsh"; Parameters: "firewall add allowedprogram ""{app}\vncviewer.exe"" ""vncviewer.exe"" ENABLE ALL"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.01;
[UninstallRun]
Filename: "net"; Parameters: "stop uvnc_service"; RunOnceId: "StopVncService"; StatusMsg: "{cm:Stopping, UltraVNC}"; Components: UltraVNC_Server UltraVNC_Server_S; MinVersion: 0.0,5.0.2195;
Filename: "{app}\WinVNC.exe"; Parameters: "-uninstall"; RunOnceId: "RemoveVncService"; StatusMsg: "{cm:Removing,UltraVNC}"; Components: UltraVNC_Server UltraVNC_Server_S; MinVersion: 0.0,5.0.2195;
Filename: "{app}\driver\setupdrv.exe"; Parameters: "uninstall"; RunOnceId: "RemoveVncDriver"; Components: UltraVNC_Server; MinVersion: 0.0,5.0.2195;
Filename: "{sys}\netsh"; Parameters: "firewall delete portopening TCP 5900 vnc5900"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Server UltraVNC_Server_S; MinVersion: 0.0,5.01;
Filename: "{sys}\netsh"; Parameters: "firewall delete portopening TCP 5800 vnc5800"; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Server UltraVNC_Server_S; MinVersion: 0.0,5.01;
Filename: "{sys}\netsh"; Parameters: "firewall delete allowedprogram program=""{app}\vncviewer.exe"""; StatusMsg: "{cm:firewall}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.01;
[Icons]
Name: "{userdesktop}\UltraVNC Server"; Filename: "{app}\winvnc.exe"; Components: UltraVNC_Server UltraVNC_Server_S; Tasks: desktopicon; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{userdesktop}\UltraVNC Viewer"; Filename: "{app}\vncviewer.exe"; Components: UltraVNC_Viewer; Tasks: desktopicon; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Viewer"; Filename: "{app}\vncviewer.exe"; WorkingDir: "{app}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Server"; Filename: "{app}\WinVNC.exe"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Viewer\Run UltraVNC Viewer (Listen Mode)"; Filename: "{app}\vncviewer.exe"; Parameters: "-listen"; WorkingDir: "{app}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Viewer\Run UltraVNC Viewer (Listen Mode Encrypt))"; Filename: "{app}\vncviewer.exe"; Parameters: "-dsmplugin msrc4plugin.dsm -listen 5500"; WorkingDir: "{app}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Viewer\Show UltraVNC Viewer Help"; Filename: "{app}\vncviewer.exe"; Parameters: "-help"; WorkingDir: "{app}"; Components: UltraVNC_Viewer; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Server\Install WinVNC Service"; Filename: "{app}\WinVNC.exe"; Parameters: "-install"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Server\Remove WinVNC Service"; Filename: "{app}\WinVNC.exe"; Parameters: "-uninstall"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Server\Start WinVNC Service"; Filename: "{app}\WinVNC.exe"; Parameters: "-startservice"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{group}\UltraVNC Server\Stop WinVNC Service"; Filename: "{app}\WinVNC.exe"; Parameters: "-stopservice"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
Name: "{group}\Edit Settings"; Filename: "{app}\uvnc_settings.exe"; WorkingDir: "{app}"; Components: UltraVNC_Server UltraVNC_Server_S; Check: "Can_cont()"; MinVersion: 0.0,5.0.2195;
[Tasks]
Name: "installservice"; Description: "{cm:InstallService,UltraVNC Server}"; GroupDescription: "{cm:ServerConfig}"; Components: "UltraVNC_Server UltraVNC_Server_S"; Check: "isTaskChecked('installservice')";
Name: "installservice"; Description: "{cm:InstallService,UltraVNC Server}"; GroupDescription: "{cm:ServerConfig}"; Components: "UltraVNC_Server UltraVNC_Server_S"; Check: "not(isTaskChecked('installservice'))";
Name: "startservice"; Description: "{cm:StartService,UltraVNC}"; GroupDescription: "{cm:ServerConfig}"; Components: "UltraVNC_Server UltraVNC_Server_S"; Check: "isTaskChecked('startservice')";
Name: "startservice"; Description: "{cm:StartService,UltraVNC}"; GroupDescription: "{cm:ServerConfig}"; Components: "UltraVNC_Server UltraVNC_Server_S"; Check: "not(isTaskChecked('startservice'))";
Name: "desktopicon"; Description: "{cm:CreateDesktopIcons,UltraVNC}"; Components: "UltraVNC_Viewer UltraVNC_Server UltraVNC_Server_S"; Check: "isTaskChecked('desktopicon')"; MinVersion: 0.0,5.0.2195;
Name: "desktopicon"; Description: "{cm:CreateDesktopIcons,UltraVNC}"; Components: "UltraVNC_Viewer UltraVNC_Server UltraVNC_Server_S"; Check: "not(isTaskChecked('desktopicon'))"; MinVersion: 0.0,5.0.2195;
Name: "associate"; Description: "{cm:AssocFileExtension,UltraVNC Viewer,.vnc}"; Components: "UltraVNC_Viewer"; Check: "isTaskChecked('associate')"; MinVersion: 0.0,5.0.2195;
Name: "associate"; Description: "{cm:AssocFileExtension,UltraVNC Viewer,.vnc}"; Components: "UltraVNC_Viewer"; Check: "not(isTaskChecked('associate'))"; MinVersion: 0.0,5.0.2195;
Name: "driver"; Description: "UltraVNC Server driver install"; Components: "UltraVNC_Server"; Check: "isTaskChecked('driver')"; MinVersion: 0.0,5.0.2195;
Name: "driver"; Description: "UltraVNC Server driver install"; Components: "UltraVNC_Server"; Check: "not(isTaskChecked('driver'))"; MinVersion: 0.0,5.0.2195;
[Components]
Name: "ultravnc_server_s"; Description: "UltraVNC Server Silent"; Types: "server_silent"; MinVersion: 0.0,5.0.2195;
Name: "ultravnc_server"; Description: "UltraVNC Server"; Types: "full server"; MinVersion: 0.0,5.0.2195;
Name: "ultravnc_viewer"; Description: "UltraVNC Viewer"; Types: "full viewer"; MinVersion: 0.0,5.0.2195;
[Types]
Name: "full"; Description: "{cm:FullInstall}"; MinVersion: 0.0,5.0.2195;
Name: "server"; Description: "{cm:ServerOnly}"; MinVersion: 0.0,5.0.2195;
Name: "server_silent"; Description: "{cm:ServerOnlyS}"; MinVersion: 0.0,5.0.2195;
Name: "viewer"; Description: "{cm:ViewerOnly}"; MinVersion: 0.0,5.0.2195;
[CustomMessages]
en.NameAndVersion=%1 version %2
en.AdditionalIcons=Additional icons:
en.CreateDesktopIcon=Create a &desktop icon
en.CreateQuickLaunchIcon=Create a &Quick Launch icon
en.ProgramOnTheWeb=%1 on the Web
en.UninstallProgram=Uninstall %1
en.LaunchProgram=Launch %1
en.AssocFileExtension=&Associate %1 with the %2 file extension
en.AssocingFileExtension=Associating %1 with the %2 file extension...
de.NameAndVersion=%1 Version %2
de.AdditionalIcons=ZusΣtzliche Symbole:
de.CreateDesktopIcon=&Desktop-Symbol erstellen
de.CreateQuickLaunchIcon=Symbol in der Schnellstartleiste erstellen
de.ProgramOnTheWeb=%1 im Internet
de.UninstallProgram=%1 entfernen
de.LaunchProgram=%1 starten
de.AssocFileExtension=&Registriere %1 mit der %2-Dateierweiterung
de.AssocingFileExtension=%1 wird mit der %2-Dateierweiterung registriert...
fr.NameAndVersion=%1 version %2
fr.AdditionalIcons=Ic⌠nes supplΘmentaires :
fr.CreateDesktopIcon=CrΘer une ic⌠ne sur le &Bureau
fr.CreateQuickLaunchIcon=CrΘer une ic⌠ne dans la barre de &Lancement rapide
fr.ProgramOnTheWeb=Page d'accueil de %1
fr.UninstallProgram=DΘsinstaller %1
fr.LaunchProgram=ExΘcuter %1
fr.AssocFileExtension=&Associer %1 avec l'extension de fichier %2
fr.AssocingFileExtension=Associe %1 avec l'extension de fichier %2...
en.MyAppName=UltraVNC
en.MyAppVerName=UltraVNC %1
en.firewall=Configuring Windows firewall...
en.SupportURL=http://forum.ultravnc.info
en.UpdatesURL=http://www.uvnc.com
en.PublisherURL=http://www.uvnc.com
de.MyAppName=UltraVNC
de.MyAppVerName=UltraVNC %1
de.firewall=Die Windows Firewall wird konfiguriert...
de.SupportURL=http://forum.ultravnc.info
de.UpdatesURL=http://www.uvnc.com
de.PublisherURL=http://www.uvnc.com
fr.MyAppName=UltraVNC
fr.MyAppVerName=UltraVNC %1
fr.firewall=Configuration du Pare Feu de Windows...
fr.SupportURL=http://forum.ultravnc.info
fr.UpdatesURL=http://www.uvnc.com
fr.PublisherURL=http://www.uvnc.com
en.FullInstall=Full installation
de.FullInstall=VollstΣndige Installation
fr.FullInstall=Installation complΦte
en.CustomInstall=Custom installation
de.CustomInstall=Benutzerdefinierte Installation
fr.CustomInstall=Installation personnalisΘe
en.ServerOnly=UltraVNC Server Only
de.ServerOnly=Nur UltraVNC Server
fr.ServerOnly=Seulement UltraVNC Server
en.ServerOnlyS=UltraVNC Server Only "silent"
de.ServerOnlyS=Nur UltraVNC Server "silent"
fr.ServerOnlyS=Seulement UltraVNC Server "mode silencieux"
en.ViewerOnly=UltraVNC Viewer Only
de.ViewerOnly=Nur UltraVNC Viewer
fr.ViewerOnly=Seulement UltraVNC Viewer
en.InstallService=&Register %1 as a system service
de.InstallService=%1 als System-Dienst ®istrieren
fr.InstallService=&Installation et enregistrement d'%1 comme service systΦme
en.ServerConfig=Server configuration:
de.ServerConfig=Server Konfiguration:
fr.ServerConfig=Configuration serveur:
en.StartService=&Start or restart %1 service
de.StartService=%1 Dienst (erneut) &starten
fr.StartService=&DΘmarrer ou redΘmarrer %1 le service
en.CreateDesktopIcons=Create %1 &desktop icons
de.CreateDesktopIcons=%1 &Desktop-Symbole anlegen
fr.CreateDesktopIcons=CrΘer les ic⌠nes d'%1 sur le &bureau
en.Starting=Starting %1 service...
de.Starting=%1 Dienst starten...
fr.Starting=DΘmarrage du service %1...
en.Stopping=Stopping %1 service...
de.Stopping=%1 Dienst stoppen...
fr.Stopping=ArrΩt du service %1...
en.Removing=Removing %1 service...
de.Removing=%1 Dienst entfernen...
fr.Removing=Suppression du service %1...
en.Registering=Registering %1 service...
de.Registering=%1 Dienst registrieren...
fr.Registering=Enregistrement du service %1...
en.Passwd=Check set initial password...
de.Passwd=Check set initial password...
fr.Passwd=VΘrification du mot de passe initial...
[Languages]
; These files are stubs
; To achieve better results after recompilation, use the real language files
Name: "en"; MessagesFile: "embedded\en.isl";
Name: "de"; MessagesFile: "embedded\de.isl";
Name: "fr"; MessagesFile: "embedded\fr.isl";