Index: xotcl/xotclConfig.sh
===================================================================
diff -u -r2c6cdd4f5d1c45c96e996a70b54ae4c5f46a40fd -r8c47264f39e2e6a65fc0c23d8d856a47cdf27fc4
--- xotcl/xotclConfig.sh	(.../xotclConfig.sh)	(revision 2c6cdd4f5d1c45c96e996a70b54ae4c5f46a40fd)
+++ xotcl/xotclConfig.sh	(.../xotclConfig.sh)	(revision 8c47264f39e2e6a65fc0c23d8d856a47cdf27fc4)
@@ -61,8 +61,8 @@
 XOTCL_SRC_DIR='.'
 
 # shared and unshared library suffix
-XOTCL_SHARED_LIB_SUFFIX=1.3.3.so
-XOTCL_UNSHARED_LIB_SUFFIX=1.3.3.a
+XOTCL_SHARED_LIB_SUFFIX=1.3.3${DBGX}.so
+XOTCL_UNSHARED_LIB_SUFFIX=1.3.3${DBGX}.a
 
 # the shell in whose installation dirs the xotcl package is installed
 XOTCL_COMPATIBLE_TCLSH=/home/neumann/tcl8.4.7/unix/tclsh