make a 32 bit ISO