Various small utilities related to GPS/GPX stuff