scripts for specific 32-bit or 64-bit ISOs