Rename Itsa Mario to mario.c