changed the name of the working mario.py file
changed the name of the working mario.py file