Index: libcfa/Makefile.in
===================================================================
--- libcfa/Makefile.in	(revision 02e9ae21187452f7035ac721333b291f55f4d516)
+++ libcfa/Makefile.in	(revision fe3b61b34f1a1132bababba6acdcb718cd7ae7ef)
@@ -14,5 +14,6 @@
 # make forward declarations for gcc builtins
 builtins.cf: Makefile builtins.c builtins.def
-	@BACKEND_CC@ -E builtins.c | sed 's/"//g' > builtins.cf
+	@BACKEND_CC@ -E prototypes.c | awk -f prototypes.awk > builtins.c
+	@BACKEND_CC@ -E builtins.c | -e "/targetm/s/.*//" -e "/_Decimal/s/.*//" -e "s/void (const char \*)0();//" -e "s/\"//g" -e "s/\(__builtin_\) /\1/" > builtins.cf
 
 libcfa-prelude.c: ../translator/cfa-cpp prelude.cf builtins.cf