--- script/configure.menu.orig	Fri Dec 11 09:49:43 1998
+++ script/configure.menu	Sat Oct  9 17:36:25 1999
@@ -266,7 +266,7 @@
 {
     PATH_XCIN_PREFIX=$1
     PATH_XCIN_BIN=$PATH_XCIN_PREFIX/bin
-    PATH_XCIN_DIR=$PATH_XCIN_PREFIX/lib/xcin
+    PATH_XCIN_DIR=$PATH_XCIN_PREFIX/lib/X11/xcin
     PATH_XCIN_MAN=$PATH_XCIN_PREFIX/man
 }
 
