diff --git a/include/vki/Makefile.am b/include/vki/Makefile.am
index 1d8dcc763..137fe1d4a 100644
--- a/include/vki/Makefile.am
+++ b/include/vki/Makefile.am
@@ -8,13 +8,15 @@ incinc_HEADERS = \
 	vki-posixtypes-ppc64-linux.h	\
 	vki-posixtypes-x86-linux.h	\
 	vki-amd64-linux.h		\
-	vki-ppc32-aix5.h		\
-	vki-ppc64-aix5.h		\
 	vki-ppc32-linux.h		\
 	vki-ppc64-linux.h		\
 	vki-x86-linux.h			\
 	vki-scnums-amd64-linux.h	\
 	vki-scnums-ppc32-linux.h	\
 	vki-scnums-ppc64-linux.h	\
-	vki-scnums-x86-linux.h		\
+	vki-scnums-x86-linux.h
+
+noinst_HEADERS = \
+	vki-ppc32-aix5.h		\
+	vki-ppc64-aix5.h		\
 	vki-scnums-aix5.h