Minor fixes for 4.01.0 compatibility

ocaml @ 35b00817

-Subproject commit 47c6b518b72f181f85a0a24ddfa91552bcdb2bc2
+Subproject commit 35b008173b9a6af2ca3de5dacbc44367dbe6defc

ocamliface/Makefile

@@ -22,7 +22,7 @@ ocaml_files:
 	cp location.ml ocaml_files/location.ml
 	cp ocaml_files/asttypes.mli ocaml_files/asttypes.ml
 	sed s=STDLIB=$(STDLIB)= config.ml > ocaml_files/config.ml
-	grep cmi_magic $(OCAML_SRC)/utils/config.mlp >> ocaml_files/config.ml
+	grep cmi_magic $(OCAML_SRC)/utils/config.mlp | head -1 >> ocaml_files/config.ml
 
 caml_cduce.cmo: ocaml_files
 	@echo "Build $@"

tests/ocaml/check.sh

 #!/bin/sh
 
-ROOTDIR=$HOME/cduce/cduce-ocamlinterface
+ROOTDIR=$HOME/cduce
 TESTDIR=$ROOTDIR/tests/ocaml
 TESTNOW=__testnow__
 TESTREF=__testref__
-ERRNOW=__testnow__
-ERRREF=__testref__
+ERRNOW=__errnow__
+ERRREF=__errref__
 TMPCDUCE=__tmpcduce__
 
 echo -n "Building actual version..."
-opam switch 4.00.0 > /dev/null 2> /dev/null
+opam switch 4.01.0 > /dev/null 2> /dev/null
 eval `opam config env`
 cd $ROOTDIR/ocaml
-git checkout 4.00.0 > /dev/null 2> /dev/null
+git checkout 4.01.0 > /dev/null 2> /dev/null
 cd $ROOTDIR
 make clean > /dev/null 2> /dev/null
 git checkout ocamlinterface > /dev/null 2> /dev/null
@@ -43,13 +43,15 @@ diff $TESTNOW $TESTREF
 if [ $? -eq 0 ]; then
     diff $ERRNOW $ERRREF
     if [ $? -eq 0 ]; then
-	echo "\033[32mSuccess!\033[00m"
+	echo "Success!"
     else
-	echo "\033[31mFail\033[00m"
+	echo "Fail"
     fi
 else
-    echo "\n\033[31mFail\033[00m"
+    echo "Fail"
 fi
 
 rm -f $TESTNOW $TESTREF $ERRNOW $ERRREF
 git checkout ocamlinterface > /dev/null 2> /dev/null
+cd $ROOTDIR/ocaml
+git checkout 4.01.0 > /dev/null 2> /dev/null