Convert gps files from getgps to gpx format.