mapeditor.py now saves to the provided file