--- Gnu-Mach/linux/src/drivers/net/de4x5.c	2020/09/02 04:46:43	1.1.1.2
+++ Gnu-Mach/linux/src/drivers/net/de4x5.c	2020/09/02 04:49:12	1.1.1.3
@@ -1308,7 +1308,7 @@ de4x5_hw_init(struct device *dev, u_long
     }
     
     if (de4x5_debug & DEBUG_VERSION) {
-	printk(version);
+	printk("%s", version);
     }
     
     /* The DE4X5-specific entries in the device structure. */