Index: libcfa/Makefile.am
===================================================================
--- libcfa/Makefile.am	(revision 334163cb034b10f8d1851a71568aa72a4eb10c53)
+++ libcfa/Makefile.am	(revision db82596542bb69e81cb0437f17c992227d7ed414)
@@ -11,6 +11,6 @@
 ## Created On       : Sun May 31 08:54:01 2015
 ## Last Modified By : Peter A. Buhr
-## Last Modified On : Sun May 31 08:54:36 2015
-## Update Count     : 2
+## Last Modified On : Mon Jun  1 08:55:17 2015
+## Update Count     : 3
 ###############################################################################
 
@@ -27,10 +27,10 @@
 
 builtins.cf : builtins.c
-	@if [ -e builtins.c ] ; then \
+	@if [ -e $< ] ; then \
 		@BACKEND_CC@ -E -P $^ | sed -e "/targetm/s/.*//" -e "/_Decimal/s/.*//" -e "s/void (const char \*)0();//" -e "s/\"//g" -e "s/\(__builtin_\) /\1/" > $@ ; \
 	fi
 
 builtins.c : builtins.def prototypes.awk
-	@if [ -e builtins.def ] ; then \
+	@if [ -e $< ] ; then \
 		@BACKEND_CC@ -E prototypes.c | awk -f prototypes.awk > $@ ; \
 	fi
@@ -38,8 +38,9 @@
 builtins.def :
 
+prototypes.awk :
+
 libcfa-prelude.c : ${libdir}/cfa-cpp ${libdir}/builtins.cf
 	sed -i -e "s#typedef.*ptrdiff_t.*#`@BACKEND_CC@ -E ${srcdir}/ptrdiff_t.c | grep 'typedef.*ptrdiff_t'`#" ${srcdir}/prelude.cf
 	${libdir}/cfa-cpp -l ${srcdir}/prelude.cf $@
-	rm -f ${srcdir}/prelude.c
 
 libcfa-prelude.o : libcfa-prelude.c
Index: libcfa/Makefile.in
===================================================================
--- libcfa/Makefile.in	(revision 334163cb034b10f8d1851a71568aa72a4eb10c53)
+++ libcfa/Makefile.in	(revision db82596542bb69e81cb0437f17c992227d7ed414)
@@ -525,19 +525,20 @@
 
 builtins.cf : builtins.c
-	@if [ -e builtins.c ] ; then \
+	@if [ -e $< ] ; then \
 		@BACKEND_CC@ -E -P $^ | sed -e "/targetm/s/.*//" -e "/_Decimal/s/.*//" -e "s/void (const char \*)0();//" -e "s/\"//g" -e "s/\(__builtin_\) /\1/" > $@ ; \
 	fi
 
 builtins.c : builtins.def prototypes.awk
-	@if [ -e builtins.def ] ; then \
+	@if [ -e $< ] ; then \
 		@BACKEND_CC@ -E prototypes.c | awk -f prototypes.awk > $@ ; \
 	fi
 
 builtins.def :
+
+prototypes.awk :
 
 libcfa-prelude.c : ${libdir}/cfa-cpp ${libdir}/builtins.cf
 	sed -i -e "s#typedef.*ptrdiff_t.*#`@BACKEND_CC@ -E ${srcdir}/ptrdiff_t.c | grep 'typedef.*ptrdiff_t'`#" ${srcdir}/prelude.cf
 	${libdir}/cfa-cpp -l ${srcdir}/prelude.cf $@
-	rm -f ${srcdir}/prelude.c
 
 libcfa-prelude.o : libcfa-prelude.c
Index: libcfa/ptrdiff_t.c
===================================================================
--- libcfa/ptrdiff_t.c	(revision db82596542bb69e81cb0437f17c992227d7ed414)
+++ libcfa/ptrdiff_t.c	(revision db82596542bb69e81cb0437f17c992227d7ed414)
@@ -0,0 +1,1 @@
+#include <stddef.h>