infrastructure/iso/build-iso.sh