Index: libcfa/prelude/Makefile.am
===================================================================
--- libcfa/prelude/Makefile.am	(revision 546b51e3e5ef24205e8851131df135cfcaa7fb52)
+++ libcfa/prelude/Makefile.am	(revision 42655e83c96028fe7ca37b4315fc53f90d546634)
@@ -55,5 +55,5 @@
 # create forward declarations for cfa builtins
 builtins.cf : builtins.c ${CC}
-	${AM_V_GEN}cfa ${AM_CFLAGS} -E -P ${<} -o ${@} -MD -MP -MF $(DEPDIR)/builtins.Po
+	${AM_V_GEN}gcc ${AM_CFLAGS} -E -P ${<} -o ${@} -MD -MP -MF $(DEPDIR)/builtins.Po -D__cforall
 	${AM_V_at}sed -i 's/builtins.o/builtins.cf/g' $(DEPDIR)/builtins.Po
 
Index: libcfa/prelude/Makefile.in
===================================================================
--- libcfa/prelude/Makefile.in	(revision 546b51e3e5ef24205e8851131df135cfcaa7fb52)
+++ libcfa/prelude/Makefile.in	(revision 42655e83c96028fe7ca37b4315fc53f90d546634)
@@ -510,5 +510,5 @@
 # create forward declarations for cfa builtins
 builtins.cf : builtins.c ${CC}
-	${AM_V_GEN}cfa ${AM_CFLAGS} -E -P ${<} -o ${@} -MD -MP -MF $(DEPDIR)/builtins.Po
+	${AM_V_GEN}gcc ${AM_CFLAGS} -E -P ${<} -o ${@} -MD -MP -MF $(DEPDIR)/builtins.Po -D__cforall
 	${AM_V_at}sed -i 's/builtins.o/builtins.cf/g' $(DEPDIR)/builtins.Po