diff --git a/src/external/heimdal-files b/src/external/heimdal-files
new file mode 100644
index 0000000000..4c3610dba2
--- /dev/null
+++ b/src/external/heimdal-files
@@ -0,0 +1,2 @@
+lib/krb5/config_file.c krb5/config_file.c
+