diff --git a/lib/vers/print_version.c b/lib/vers/print_version.c
index 23cd25e0c..ea2f20dd9 100644
--- a/lib/vers/print_version.c
+++ b/lib/vers/print_version.c
@@ -33,8 +33,9 @@
 
 
 #include <config.h>
+#include <krb5-types.h>
 
-#define VERSION_HIDDEN static
+#define VERSION_HIDDEN static HEIMDAL_UNUSED_ATTRIBUTE
 
 #include "roken.h"