diff --git a/tools/Makefile.am b/tools/Makefile.am
index 4117baafd..91837b4e9 100644
--- a/tools/Makefile.am
+++ b/tools/Makefile.am
@@ -19,6 +19,7 @@ krb5-config: krb5-config.in
 		-e "s,@includedir\@,$(includedir),g" \
 		-e "s,@LIB_crypt\@,$(LIB_crypt),g" \
 		-e "s,@LIB_dbopen\@,$(LIB_dbopen),g" \
+		-e "s,@LIB_des_appl\@,$(LIB_des_appl),g" \
 		-e "s,@LIBS\@,$(LIBS),g" \
 		$(srcdir)/krb5-config.in > $@
 	chmod +x $@