Fix the filename for the installer.