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