Fixing the ISO build

It works again :)