Hello! I just downloaded a backup of Super Mario Galaxy (which I already owned, fyi). However, instead of coming in an iso format, I got tons of small files, named smgwiist.r01,smgwiist.r02, smgwiist.r03... smgwiist.r74. Does anyone know how I can convert this to an iso that I can play on dolphin?