Fix hard-coded device name in iso-to-usb script