Small scripts for fixing GPX timestamps