diff --git a/lib/krb5/Makefile.am b/lib/krb5/Makefile.am
index cc045f704..a56d74aee 100644
--- a/lib/krb5/Makefile.am
+++ b/lib/krb5/Makefile.am
@@ -23,6 +23,7 @@ libkrb5_a_SOURCES = \
 	encrypt.c \
 	fcache.c \
 	free.c \
+	free_host_realm.c \
 	generate_seq_number.c \
 	generate_subkey.c \
 	get_addrs.c \
@@ -71,6 +72,7 @@ libkrb5_a_SOURCES = \
 	store_mem.c \
 	str2key.c \
 	ticket.c \
+	verify_init.c \
 	verify_user.c \
 	version.c \
 	write_message.c