Index: kernel/arch/ppc32/Makefile.inc
===================================================================
--- kernel/arch/ppc32/Makefile.inc	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/ppc32/Makefile.inc	(revision 0c793e2e9c4358a2bb2521d35eb36b273cf0283b)
@@ -60,6 +60,6 @@
 
 ARCH_AUTOGENS_AG = \
-	arch/$(KARCH)/include/arch/istate_struct.ag \
-	arch/$(KARCH)/include/arch/context_struct.ag \
-	arch/$(KARCH)/include/arch/fpu_context_struct.ag
+	arch/$(KARCH)/include/arch/istate_struct.ag.h \
+	arch/$(KARCH)/include/arch/context_struct.ag.h \
+	arch/$(KARCH)/include/arch/fpu_context_struct.ag.h