--- extlib-1.5.1.orig/install.ml 2008-02-12 18:01:34.000000000 +0000 +++ extlib-1.5.1/install.ml 2008-02-12 18:03:26.000000000 +0000 @@ -64,10 +64,18 @@ print_endline ("Installing " ^ file); let path = dest ^ file in (try Sys.remove path with _ -> ()); - try - Sys.rename file path; - with - _ -> failwith "Aborted" + let ichan = open_in file in + let ochan = open_out path in + let buf = String.create 1024 in + let rec loop () = + let len = input ichan buf 0 1024 in + if len > 0 then ( + output ochan buf 0 len; + loop () + ) + in + loop (); + Sys.remove file end let complete_path p =