diff --git a/src/gui/hdd_menu.cpp b/src/gui/hdd_menu.cpp
index 675790a90..81c6b1a6e 100644
--- a/src/gui/hdd_menu.cpp
+++ b/src/gui/hdd_menu.cpp
@@ -191,7 +191,8 @@ int CHDDMenuHandler::doMenu ()
 		if (ret != -1) {
 			if ((int)(s.st_rdev & drive_mask) == root_dev) {
 				isroot = true;
-				printf("-> root device is on this disk 0x%04" PRIx64 ", skipping\n", s.st_rdev);
+				/* dev_t is different sized on different architectures :-( */
+				printf("-> root device is on this disk 0x%04x, skipping\n", (int)s.st_rdev);
 			}
 		}
 		close(fd);