Index: src/prelude/Makefile.in
===================================================================
--- src/prelude/Makefile.in	(revision 088a5cdd8d3a236c5d44413bd779381bb291fc44)
+++ src/prelude/Makefile.in	(revision 2988eebb61a23bfe28efea59b2bdd2e4fb6028c1)
@@ -105,4 +105,5 @@
 CFA_INCDIR = @CFA_INCDIR@
 CFA_LIBDIR = @CFA_LIBDIR@
+CFA_NAME = @CFA_NAME@
 CFA_PREFIX = @CFA_PREFIX@
 CFLAGS = @CFLAGS@