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