diff --git a/source/lib/cmdline/popt_credentials.c b/source/lib/cmdline/popt_credentials.c
index b13b81c3668..6f1c40c4721 100644
--- a/source/lib/cmdline/popt_credentials.c
+++ b/source/lib/cmdline/popt_credentials.c
@@ -23,7 +23,6 @@
 #include "lib/cmdline/popt_common.h"
 #include "lib/cmdline/credentials.h"
 #include "auth/credentials/credentials.h"
-#include "auth/credentials/credentials_krb5.h"
 #include "auth/gensec/gensec.h"
 
 /* Handle command line options: