Update tools/maps/export.py