--- /dev/null
+--- a/adjtimex.c
++++ b/adjtimex.c
+@@ -36,6 +36,7 @@
+ * gcc -Wall -O adjtimex_1.c -o adjtimex
+ */
+
++#include <inttypes.h>
+ #include <stdio.h>
+ #include <sys/types.h>
+ #include <stdlib.h>
+@@ -143,8 +144,8 @@ int main(int argc, char ** argv)
+ " precision: %ld\n"
+ " tolerance: %ld\n"
+ "-t tick: %ld\n"
+- " time.tv_sec: %ld\n"
+- " time.tv_usec: %ld\n"
++ " time.tv_sec: %" PRId64 "\n"
++ " time.tv_usec: %" PRId64 "\n"
+ " return value: %d (%s)\n",
+ txc.constant,
+ txc.precision, txc.tolerance, txc.tick,
+--- a/ntpclient.c
++++ b/ntpclient.c
+@@ -181,7 +181,7 @@ static void set_time(struct ntptime *new)
+ exit(1);
+ }
+ if (debug) {
+- printf("set time to %lu.%.9lu\n", tv_set.tv_sec, tv_set.tv_nsec);
++ printf("set time to %" PRId64 ".%.9" PRId64 "\n", (int64_t)tv_set.tv_sec, (int64_t)tv_set.tv_nsec);
+ }
+ #else
+ /* Traditional Linux way to set the system clock
+@@ -196,7 +196,7 @@ static void set_time(struct ntptime *new)
+ exit(1);
+ }
+ if (debug) {
+- printf("set time to %lu.%.6lu\n", tv_set.tv_sec, tv_set.tv_usec);
++ printf("set time to %" PRId64 ".%.6" PRId64 "\n", (int64_t)tv_set.tv_sec, (int64_t)tv_set.tv_usec);
+ }
+ #endif
+ }