str ChangeFileExt(str FileName, str NewExt)
Changes the extension in FileName with NewExt. NewExt must not contain period.
Declared in ISPPBuiltins.iss.