diff --git a/src/util/Makefile.in b/src/util/Makefile.in
index 00f8badfa2..0ff14e2f3b 100644
--- a/src/util/Makefile.in
+++ b/src/util/Makefile.in
@@ -115,6 +115,7 @@ ${TOP_INCDIR}/afs/thread_pool.h: ${srcdir}/thread_pool.h
 	${INSTALL_DATA} $? $@
 
 ${TOP_INCDIR}/afs/thread_pool_types.h: ${srcdir}/thread_pool_types.h
+	${INSTALL_DATA} $? $@
 
 ${TOP_INCDIR}/afs/tabular_output.h: ${srcdir}/tabular_output.h
 	${INSTALL_DATA} $? $@