Rename mario to mario.c