pull new gpx.py from upstream karta.gpx