Where is the little Mario GFX file, which is it? I thought it was GFX32,31, or 30, but it's not, please help.