--- dyninst-10.1.0/dyninst-10.1.0/instructionAPI/h/Result.h.sv	2018-11-09 11:48:08.000000000 -0500
+++ dyninst-10.1.0/dyninst-10.1.0/instructionAPI/h/Result.h	2018-12-04 22:12:47.369579566 -0500
@@ -449,10 +449,10 @@
 	    snprintf(hex, 20, "%x", val.s32val);
 	    break;
 	  case u64:
-	    snprintf(hex, 20, "%lx", val.u64val);
+	    snprintf(hex, 20, "%" PRIx64, val.u64val);
 	    break;
 	  case s64:
-	    snprintf(hex, 20, "%lx", val.s64val);
+	    snprintf(hex, 20, "%" PRIx64, val.s64val);
 	    break;
 	  case sp_float:
 	    snprintf(hex, 20, "%f", val.floatval);
@@ -464,10 +464,10 @@
 	    snprintf(hex, 20, "%x", val.bitval);
 	    break;
 	  case u48:
-	    snprintf(hex, 20, "%lx", val.s48val);
+	    snprintf(hex, 20, "%" PRIx64, val.s48val);
 	    break;
 	  case s48:
-	    snprintf(hex, 20, "%lx", val.s48val);
+	    snprintf(hex, 20, "%" PRIx64, val.s48val);
 	    break;
      case m512:
 	    snprintf(hex, 20, "%p", val.m512val);