diff --git a/lib/krb5/prog_setup.c b/lib/krb5/prog_setup.c
index 68955131e..4f556b79c 100644
--- a/lib/krb5/prog_setup.c
+++ b/lib/krb5/prog_setup.c
@@ -41,9 +41,6 @@
 
 RCSID("$Id$");
 
-static int help_flag;
-static int version_flag;
-
 void
 krb5_std_usage(int code, struct getargs *args, int num_args)
 {