GPS Time Standard and Linux NTP