fix gps_time handling