Fix an issue building ISO files