--- zzz/matita-0.5.8/configure	2009-12-01 18:21:00.000000000 -0500
+++ matita-0.5.8/configure	2010-09-07 19:57:29.732139550 -0400
@@ -1895,6 +1895,7 @@
 # look for METAS dir
 
 LIBSPATH="`pwd`/components"
+OLDCAMLPATH="$OCAMLPATH"
 OCAMLPATH="$LIBSPATH/METAS"
 
 # creating META.*
@@ -1917,7 +1918,7 @@
 gdome2 \
 http \
 lablgtk2 \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.gtksourceview \
 lablgtkmathview \
 mysql \
 netstring \
@@ -1951,14 +1952,14 @@
 $FINDLIB_CREQUIRES \
 lablgtk2.glade \
 lablgtkmathview \
-lablgtksourceview2.gtksourceview2 \
+lablgtk2.gtksourceview \
 helm-xmldiff \
 "
 for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
 do
   { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $r ocaml library" >&5
 $as_echo_n "checking for $r ocaml library... " >&6; }
-  if OCAMLPATH=$OCAMLPATH $OCAMLFIND query $r &> /dev/null; then
+  if OCAMLPATH=$OCAMLPATH:$OLDCAMLPATH $OCAMLFIND query $r &> /dev/null; then
     { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
 $as_echo "yes" >&6; }
   else