2 files changed, 3 insertions, 2 deletions
diff --git a/VERSION b/VERSION
index 00d9ec674d..fb11dd1346 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.00.1
+4.00.1.A
 
 
 # The version string is the first line of this file.
diff --git a/configure b/configure
index 712544b85d..261c823aa2 100755
--- a/configure
+++ b/configure
@@ -205,7 +205,8 @@ then
      fi
   esac
   has_ocaml=false
-  jocaml_version=`cat $topdir/VERSION | ( read version && echo $version )` 
+#  jocaml_version=`cat $topdir/VERSION | ( read version && echo $version )` 
+  jocaml_version=4.00.1
   case "$ocamlc" in
    "") echo "Warning: could not find ocamlc";;
    *)