Index: configure
===================================================================
--- configure	(revision 534e4e460878f8a2e7d24b4a0413515e6acd1dae)
+++ configure	(revision 4dcaed2c212a42d633824e9b88053258a2d0f969)
@@ -3279,5 +3279,4 @@
 TOP_SRCDIR=$ac_pwd/$ac_confdir/
 TOP_BUILDDIR=$ac_pwd/
-PRELUDE_BUILDDIR=$ac_pwd/libcfa-x86_64-debug/prelude/
 
 
@@ -3289,9 +3288,4 @@
 cat >>confdefs.h <<_ACEOF
 #define TOP_BUILDDIR "$TOP_BUILDDIR"
-_ACEOF
-
-
-cat >>confdefs.h <<_ACEOF
-#define PRELUDE_BUILDDIR "$PRELUDE_BUILDDIR"
 _ACEOF