diff --git a/utils/config.mlp b/utils/config.mlp
index 3ebc42242..d8523a6db 100644
--- a/utils/config.mlp
+++ b/utils/config.mlp
@@ -11,7 +11,7 @@
 
 (* $Id$ *)
 
-let version = "1.06-1/2"
+let version = "1.06-1/3"
 
 let standard_library =
   try