mars no longer has a bellybutton

also the default command-line argument is now mars_low_rez.txt