I have the following need, but see no straight forward way to install a file with a name other than it's original (source) name:

IF <condition met>
install XXXX.EXE as XXXX.EXE
ELSE
install XXXX.EXE as XXXX.EXX
END

How is this best handled?