=== modified file 'debian/rules'
--- a/debian/rules	2011-12-12 18:00:00 +0000
+++ b/debian/rules	2012-04-27 23:53:16 +0000
@@ -24,7 +24,7 @@
 CONFIGURE_FLAGS = --host=$(DEB_HOST_GNU_TYPE) --build=$(DEB_BUILD_GNU_TYPE) \
 	--prefix=/usr --mandir=\$${prefix}/share/man \
 	--infodir=\$${prefix}/share/info \
-	--with-libctl=/usr/share/libctl3 \
+	--with-libctl=/usr/share/libctl \
 	--enable-shared --with-pic --enable-cxx
 
 #YYY configure: patch-stamp configure-stamp-serial configure-stamp-mpich