str ExtractFileName(str PathName)
Returns the name portion of the given filename. If PathName ends with a backslash, the result is an empty string.
Declared in ISPPBuiltins.iss.