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