diff --git a/src/altera.cpp b/src/altera.cpp
index 1f0e80c..ebf558e 100644
--- a/src/altera.cpp
+++ b/src/altera.cpp
@@ -5,6 +5,7 @@
 
 #include "altera.hpp"
 
+#include <inttypes.h>
 #include <string.h>
 
 #include <map>
@@ -1070,8 +1071,8 @@ bool Altera::agilex_poll_status(uint64_t *expected, uint64_t *mask,
 			_jtag->toggleClk(agilex_toggle_length);
 			uint64_t res = uintStarTo64(status) & 0x3FFFFFFFF;
 			if (_verbose) {
-				printf("%2d/%3d: 0x%08lx 0x%08lx %08lx ", check, i,
-					res, res & msk, exp & msk);
+				printf("%2d/%3d: 0x%08" PRIx64 "0x%08" PRIx64 "%08" PRIx64 " ",
+					check, i, res, res & msk, exp & msk);
 				for (int a = 0; a < 5; a++)
 					printf("%02x ", status[a]);
 				printf("\n");
diff --git a/src/board.hpp b/src/board.hpp
index 6ec2b08..57efc97 100644
--- a/src/board.hpp
+++ b/src/board.hpp
@@ -113,8 +113,8 @@ static std::map <std::string, target_board_t> board_list = {
 	JTAG_BOARD("ac701",           "xc7a200tfbg676",       "digilent",     SPI_FLASH, 0, 0, CABLE_DEFAULT),
 	JTAG_BOARD("acornCle215",     "xc7a200tsbg484",       "",             SPI_FLASH, 0, 0, CABLE_DEFAULT),
 	JTAG_BOARD("analogMax",       "",                     "ft2232",       SPI_FLASH, 0, 0, CABLE_DEFAULT),
-	JTAG_BOARD("atumA3Nano"       "",                     "usb-blasterIII", SPI_FLASH, 0, 0, CABLE_DEFAULT),
-	JTAG_BOARD("axe5000"          "",                     "usb-blasterIII", SPI_FLASH, 0, 0, CABLE_DEFAULT),
+	JTAG_BOARD("atumA3Nano",      "",                     "usb-blasterIII", SPI_FLASH, 0, 0, CABLE_DEFAULT),
+	JTAG_BOARD("axe5000",         "",                     "usb-blasterIII", SPI_FLASH, 0, 0, CABLE_DEFAULT),
 	JTAG_BOARD("litex-acorn-baseboard-mini", "xc7a200tsbg484", "",        SPI_FLASH, 0, 0, CABLE_DEFAULT),
 	JTAG_BOARD("alchitry_au",     "xc7a35tftg256",        "ft2232",       SPI_FLASH, 0, 0, CABLE_DEFAULT),
 	JTAG_BOARD("alchitry_au_plus","xc7a100tftg256",       "ft2232",       SPI_FLASH, 0, 0, CABLE_DEFAULT),