static File machineTimeOffsetFile() {
  ret fileInJavaxDataDir("machine-time-offset.txt");
}