Update infinite_mario.sh to match infinite_mario.bat;