Index: inifiles-1.2/inifiles.ml
===================================================================
--- inifiles-1.2/inifiles.ml
+++ inifiles-1.2/inifiles.ml	2012-10-18 20:50:56.000000000 +0100
@@ -257,7 +257,7 @@
        func
        initial
        (List.rev_map
-	  (new inifile)
+	  (function f -> new inifile f)
 	  (List.filter
 	     check_file
 	     (List.rev_map