diff -Nurp coq-8.3-beta0-1/configure coq-8.3-beta0-1-nix/configure
--- coq-8.3-beta0-1/configure	2010-02-16 12:37:58.000000000 +0100
+++ coq-8.3-beta0-1-nix/configure	2010-05-11 17:47:44.000000000 +0200
@@ -394,7 +394,6 @@ case $camldir_spec in
 	 ocamlyaccexec=$CAMLBIN/ocamlyacc
 	 ocamlmktopexec=$CAMLBIN/ocamlmktop
 	 ocamlmklibexec=$CAMLBIN/ocamlmklib
-	 camlp4oexec=$CAMLBIN/camlp4o
 esac
 
 if test ! -f "$CAMLC" ; then
@@ -626,7 +625,7 @@ case $COQIDE in
             no)  LABLGTKLIB=+lablgtk2                   # Pour le message
                  LABLGTKINCLUDES="-I $LABLGTKLIB";;     # Pour le makefile
             yes) LABLGTKLIB="$lablgtkdir"               # Pour le message
-                 LABLGTKINCLUDES="-I \"$LABLGTKLIB\"";; # Pour le makefile
+                 LABLGTKINCLUDES="-I $LABLGTKLIB";; # Pour le makefile
         esac;;
     no) LABLGTKINCLUDES="";;
 esac