gps time server problems ?