--- 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
 }