diff --git a/cint/configure b/cint/configure
index 203c3600d3a4b0b3bbca46b8f461dda9adbadb55..1d9732b1434d474d9781c12256ba199d2f605f6b 100755
--- a/cint/configure
+++ b/cint/configure
@@ -593,7 +593,7 @@ CMACROS="$CMACROS -DG__HAVE_CONFIG -DG__NOMAKEINFO"
 CXXMACROS="$CXXMACROS -DG__HAVE_CONFIG -DG__NOMAKEINFO"
 
 if [ "$READLINELIB" = "" ]; then
-    for ext in AXELDEBUG$IMPLIBEXT $SOEXT; do
+    for ext in $IMPLIBEXT $SOEXT; do
         for d in $EXTRA_LIB_DIR /usr/local/lib /usr/lib /sw/lib; do 
             if [ -f ${d}/libreadline$ext ]; then
                 READLINELIB=${d}/libreadline$ext