--- frama-c-Beryllium-20090902.old/ptests/ptests.ml	2010-02-10 21:12:10.117393041 -0500
+++ frama-c-Beryllium-20090902/ptests/ptests.ml	2010-02-10 21:12:16.789253456 -0500
@@ -54,7 +54,7 @@
       fun a b -> let r = temp_file a b in
 	cygpath r
     else
-      temp_file
+      (fun x y -> temp_file x y)
 end
 
 let default_env var value =